The Logic of Linear Functors
نویسندگان
چکیده
R. B L U T E†, J. R. B. C O C K E T T‡, and R. A. G. S E E L Y§ † Department of Mathematics and Statistics, University of Ottawa, 585 King Edward St, Ottawa, ON, K1N 6N5, Canada. Email: [email protected] ‡ Department of Computer Science, University of Calgary, 2500 University Drive, Calgary, AL, T2N 1N4, Canada. Email: [email protected] § Department of Mathematics and Statistics, McGill University, 805 Sherbrooke St., Montréal, QC, H3A 2K6, Canada. Email: [email protected]
منابع مشابه
Transport of finiteness structures and applications
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular functors in the category of finiteness spaces: these include the functors involved in a relational interpretation of lazy recursive algebraic datatypes along the...
متن کاملFull completeness of the multiplicative linear logic ofChu
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding functors on the category of Chu spaces on a two-letter alphabet.
متن کاملSpectral triples of weighted groups
We study spectral triples on (weighted) groups and consider functors between the categories of weighted groups and spectral triples. We study the properties of weights and the corresponding functor for spectral triples coming from discrete weighted groups.
متن کاملMorphisms and Modules for Poly-bicategories
Linear bicategories are a generalization of ordinary bicategories in which there are two horizontal (1-cell) compositions corresponding to the “tensor” and “par” of linear logic. Benabou’s notion of a morphism (lax 2-functor) of bicategories may be generalized to linear bicategories, where they are called linear functors. Unfortunately, as for the bicategorical case, it is not obvious how to or...
متن کاملTowards full completeness of the linear logic of Chu spaces
We investigate the linear logic of Chu spaces as deened by its dinaturality semantics. For those formulas of multiplicative linear logic limited to at most two occurrences of each variable we prove full completeness of Girard's MIX-free axiomatization, namely that the cut-free proof-nets of such formulas are in a natural bijection with the dinatural elements of the corresponding functors.
متن کاملTowards Full Completeness for the Linear Logic of Chu Spaces
We prove full completeness for a fragment of the linear logic of the self-dual monoidal category of Chu spaces over 2, namely that the proofs between semisimple (conjunctive normal form) formulas of multiplicative linear logic without constants having two occurrences of each variable are in bijection with the dinatural transformations between the corresponding functors. The proof assigns to var...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 12 شماره
صفحات -
تاریخ انتشار 2002